#mathematical problem solving

‘DARPA’s expMath initiative and advanced AI models are accelerating mathematical research, helping solve problems once thought intractable while still relying on human creativity for true breakthroughs.’

Microsoft launched the Phi-4-Reasoning family, a set of 14B parameter open-weight models optimized for complex reasoning tasks. These models demonstrate competitive performance on math, planning, and coding challenges with transparent training and open access.